Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
HigherOrderCO/HVM3
github.com·5h
🔗Functional Compilers
Characterizing NC1 with Typed Monoids
arxiv.org·5d
⚙️Syntactic Monoids
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
An Update on Pytype
github.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·11h
🔲Cellular Automata
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·23h·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Software convergence
underlap.org·1d
🔢Denotational Semantics
A better for loop?
cirw.in·1d
🦀Rust Macros
[$] The "impossibly small" Microdot web framework
lwn.net·16h
🌀Brotli Internals
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·4d·
Discuss: r/programming
🔤Type Theory
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5d
🔗Functional Compilers
WithPlants: A Handheld Plants Explorer
hackster.io·19h
📱QR Archaeology
The folk theorem of statistical computing: Fake-data simulation as posterior predictive checking
statmodeling.stat.columbia.edu·16h
🧮Kolmogorov Bounds
Reproducing prospect theory with 'differentiable decision theories'
science.org·1d·
Discuss: Hacker News
🔲Cellular Automata